41. Artificial neural network for drug design, delivery, and disposition
Author: edited by Munish Puri, Yashwant Pathak, Vijay Kumar Sutariya, Srinivas Tipparaju, Wilfrido Moreno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science),Pharmaceutical technology.,Pharmacology-- Data processing.,Automatic Data Processing,Drug Delivery Systems,Drug Discovery-- methods,Neural Networks (Computer),Technology, Pharmaceutical
42. Assured cloud computing /
Author: edited by Roy H. Campbell, Charles A. Kamhoua, Kevin A. Kwiat.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
585
.
A87
2018eb
44. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
45. Challenges for action theories
Author: Michael Thielscher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، System design,، Formal methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
1775
46. Code Generation - Concepts, Tools, Techniques :
Author: edited by Robert Giegerich, Susan L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
47. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
48. Computational science and its applications-- ICCSA 2013 :
Author: Beniamino Murgante ... [and seven others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
49. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
50. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
51. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
52. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
53. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
54. Databases and Information Systems :
Author: edited by Janis Barzdins, Albertas Caplinskas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
55. ESPRIT '90 :
Author: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.
56. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
57. FM '99 - formal methods / 2.
Author: Jeannette M. Wing ... (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
58. Formal Engineering for Industrial Software Development :
Author: by Shaoying Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
B974
2004
59. Formal Semantics for VHDL
Author: edited by Carlos Delgado Kloos, Peter T. Breuer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer hardware.,Electronic data processing.,Engineering.,Systems engineering.
